Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
301	A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Computing Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system Simply typed lambda calculus Denotational semantics Type theory Software engineering Theoretical computer science
302	Joint 3D Estimation of Objects and Scene Layout Andreas Geiger Karlsruhe Institute of Technology Christian Wojek Add to Reading List Source URL: www.cvlibs.net Language: English - Date: 2012-03-05 09:32:53 Vision Artificial intelligence Robot control Visual effects Object recognition Pose Expectation–maximization algorithm 3D modeling Maximum likelihood Computer vision Statistics Estimation theory
303	Easing and Bouncing This tutorial is going to go over the subject of "easing." The question is often asked, "How do I make an object go towards a particular point, but slow down as it approaches, smoothly sliding into p Add to Reading List Source URL: www.bit-101.com Language: English - Date: 2011-01-07 10:07:05 Mathematical analysis Mathematics 3D projection Operator Operator theory Physics
304	Automatic Boundary Tracing -Edge Tracking with the Trace Tool Often the irregular edge of an object or surface needs to be defined for dimensional measurements. The example shown here is an industrial coating, an irregul Add to Reading List Source URL: www.mediacy.jp Language: English - Date: 2015-02-26 02:00:45 Trace Image processing Electronic test equipment Computer vision Mathematics Linear algebra Matrix theory
305	Exploring the synergies between the Object-Oriented paradigm and Mathematics: a Java led approach MARC CONRAD Department of Computing and Information Systems University of Luton Park Square, Luton, LU1 3JU, United Kingdo Add to Reading List Source URL: ring.perisic.com. Language: English - Date: 2003-12-13 23:14:28 Algebraic structures Field theory Mathematical structures Ring theory Polynomial Emmy Noether Ring Field Finite field Abstract algebra Algebra Mathematics
306	Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Programming language theory Data types Object-oriented programming Polymorphism Subtype polymorphism Type system Universal type System F Curry Software engineering Type theory Computing
307	NATIONAL IRRIGATION ADMINISTRATION FY 2012 SUMMARY OF ABC and AWARDED/CONTRACT AMOUNTS PER PROJECT Additional Fund Release as of FebruaryP/A/P / ALLOTMENT CLASS/ OBJECT OF Add to Reading List Source URL: www.nia.gov.ph Language: English - Date: 2014-06-29 22:56:17 Auctioneering Auction theory Business law Contract A personal selling
308	Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Data types Object-oriented programming Cross-platform software Functional programming Type system JavaScript Duck typing C Software engineering Computing Computer programming
309	Vol. 3, No. 11 Special issue: OOPS track at SAC 2004, Nicosia/Cyprus Adding Wildcards to the Java Programming Language Mads Torgersen, University of Aarhus, Denmark Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-12-02 10:31:02 Programming language theory Polymorphism Object-oriented programming Data types Java programming language Covariance and contravariance Wildcard Type system Generic programming Software engineering Computing Type theory
310	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering

UPDATE